Hocken: Prince of Collectors

Deposit Collectors?

Informal lending and savings institutions exist around the world, and often include regular door-to-door deposit collection of cash. Some banks have adopted similar services in order to expand access to banking services in areas that lack physical branches. Using a randomized control trial, we investigate determinants of participation in a deposit collection service and evaluate the impact of o...

Security Analysis of PRINCE

In this article, we provide the first third-party security analysis of the PRINCE lightweight block cipher, and the underlying PRINCEcore. First, while no claim was made by the authors regarding related-key attacks, we show that one can attack the full cipher with only a single pair of related keys, and then reuse the same idea to derive an attack in the single-key model for the full PRINCEcore...

Colimits for Concurrent Collectors

This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The specification formalism is mainly based on declarative programming paradigms, the imperative aspect is dealt with by using monads. We also sketch the use of temporal logic in connection with monadic specifications.

Low Temperature Solar Collectors

Performance of the CHAPS Collectors

The performance of the Combined Heat and Power Solar (CHAPS) collectors at the Australian National University is described. Results from testing of the collector under steady state conditions at a range of input temperatures are presented. Measured results under typical operating conditions show thermal efficiency around 57% and electrical efficiency around 11%, and therefore a combined efficie...